Option 2 on this is the way to go in my opinion, the quality of intellisense is crucial to devux

Option 2 on this is the way to go in my opinion, the quality of intellisense is crucial to devux

Agreed. Might be too granular for this ADR but I do think it's worth thinking about how they are imorted

For example:

import { vrfVerify, mullw } from '@algorandfoundation/puya'

...

vryVerify(...)
mulw(...)

vs

import { crypto, math } from '@algorandfoundation/puya'

...

crypto.vryVerify(...)
math.mulw(...)

I think breaking it down into packages so not every single opcode needs to be individually imported makes the most sense